Dhall Optional Some なぜ
DhallでOptionalを使いまくるとSomeを使いまくることになる，なぜ？ Optionalは定義としてこうらしい
let Optional = \(a : Type) -> < Some : a | None >
つまり{ foo : Optional Text }のような型が与えられていた時，
{ foo = "bar" }とただ単に書いても，Some, Noneのどっちということになる，ので，Someを書いて指定する
{ foo = Some "bar" }
逆に，schemaでdefault値を与えるときは，{ foo = None "bar" }と書いて，実際のスキーマ利用時にこれを上書きしてください（しなくてもいい）とすることが出来る